Verification Templates for the Analysis of User Interface Software Design
نویسندگان
چکیده
منابع مشابه
Patterns and templates for automated verification of user interface software design in PVS
This paper introduces a set of PVS theories for modelling and analysis of usability and safety aspects of user interface software design. Our PVS theories crystallise general usability issues commonly addressed in user‐centred safety requirements, such as the ability to undo user actions, the visibility of operational modes, and the predictability of user interface behaviour. These requirements...
متن کاملUser Interface Design in Mobile Educational Applications
Introduction: User interfaces are a crucial factor in ensuring the success of mobile applications. Mobile Educational Applications not only provide flexibility in learning, but also allow learners to learn at any time and any place. The purpose of this article is to investigate the effective factors affecting the design of the user interface in mobile educational applications. Methods: Quantita...
متن کاملUser Interface Design for E-Learning Software
User interface (UI) is point of interaction between user and computer software. The success and failure of a software application depends on User Interface Design (UID). Possibility of using a software, easily using and learning are issues influenced by UID. The UI is significant in designing of educational software (e-Learning). Principles and concepts of learning should be considered in addit...
متن کاملFUM Students' Understanding of the Terms Used in User Interface of SIMAD Library Software
Background and Aim: The main objective of the research is to determine the understanding level of the students of Ferdowsi University of Mashhad in the terms used in user interface of SIMAD library software. Methods: The study is an applied research with survey descriptive method. Research population was Ferdowsi University of Mashhad, including 24346 students of whom 164 were selected as sampl...
متن کاملinvestigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 2019
ISSN: 0098-5589,1939-3520,2326-3881
DOI: 10.1109/tse.2018.2804939